1. Compositional Verification of Concurrent and Real-Time Systems
پدیدآورنده : by Eric Y. T. Juan, Jeffrey J. P. Tsai.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Electronic data processing.,Mechanical engineering.,Software engineering.
2. Compositional verification of concurrent and real-time systems
پدیدآورنده : / by Eric Y.T. Juan, Jeffrey J.P. Tsai
کتابخانه: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
موضوع : Real-time data processing,Computer systems -- Verification
رده :
QA
76
.
58
.
J83
2002
